#ifndef UTIL_H
#define UTIL_H

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <limits.h>
#include <assert.h>

typedef uint32_t data_t;

// Mem_alloc and mem_free inlined; take a pointer to a data_t restrict type-modified pointer:
inline void mem_alloc(data_t * __restrict * space, int size);
inline void mem_free(data_t * __restrict * space);

#endif
